der frühere beginn der weihnachtsferien am achtzehnten dezember bleibt bestehen.