Performance Spaces and Stage Technologies (A Comparative Perspective on Theatre History)