Die Kleiderordnung sagt: bis Ende September sind kurze Hosen erlaubt (und werden auch von allen Urlaubern getragen), ab Oktober lange Hosen. Aber ganz ehrlich muss ich sagen, dass bei der guten Klimatisierung lange Hosen überhaupt kein Problem sind.
Peter am 23. September 2019