Karl Friedrich Schinkel, Bühnenentwürfe = Karl Friedrich Schinkel, stage designs