Сколько в среднем государственных праздников в германии