"Der Prinz von Thule" ("The Prince of Thule"), operetta "Der Prinz von Thule" ("The Prince of Thule"), operetta