Der Alpenkönig und der Menschenfeind, Theaterbau des Königsstädtischen Theaters (Berlin), 9.7.1830