Feestelijke opening van Theater de Spiegel