Der Diamant des Geisterkönigs, Theaterbau des Königsstädtischen Theaters (Berlin), 26.12.1830