„König Karotte“ regierte in der Volksoper