Wir haben vom 9. bis 13. Oktober Urlaub.