Educational holiday for German employees.