Text this: Roofed theaters of classical antiquity