att prins Henrik erhållit tjänstledighet,