Ist am 15 August in Thüringen Feiertag?