har den fasta tjenstepersonalen på slottet Fredensborg till fördelning sins emellan fått 10 000 kr.