Der Graf von Luxemburg. Musical play.