Das große Theater in Pompeji - Mau, August, 1840-1909 (Mitteilungen des Deutschen Archäologischen Instituts, Römische Abteilung, 21.1906., 1906)