Lorn det var konungen af Hollands namns- eller födelsedag,