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