kung Ernsts vackra teater.