Kong Frederik på ferie igen: Så meget har han arbejdet som konge