den 15 Juli till den 1 Oktober äro ferier i den egentliga folkskolan.