och då , såsom på Londons theatrar , kl. 9 endasthalft