Und das im am meisten verregneten Oktober/November, den wir je hier erlebt haben