The theatre of Mainz (from: Die Römer in Rheinland-Pfalz, 464).