Die Teufelsmühle am Wienerberge, Theaterbau des Königsstädtischen Theaters (Berlin), 2.1.1825