Darmstadt märktes den 31 Oktoberkl.