Translation of "Holiday shutdown" in German