Leerlingen om 12.00 uur vrij, middag voor de kerstvakantie.