Das Fest der Handwerker, Theaterbau des Königsstädtischen Theaters (Berlin), 10.7.1830