Betriebsferien vom 12.  bis  18. Oktober.