Die Geisterinsel, Gebäude der Königlichen Oper Berlin (Berlin), 3.8.1825