Kung Ernsts 80:de födelsedag.