König Immermüd, Aufführung