att professor Walther dött i asiatifl kolera.