Der Maurer, Gebäude der Königlichen Oper Berlin (Berlin), 5.11.1830