Men klockan var half sju , den tidens teatertimme.