den 15 maj ( med 17 dagars ferier under julhögtiden ).