Oh, das scheint ein Uni-Phänomen zu sein, das kenne ich
bei uns hat man immer gerochen, wenn in der Küche gekocht wurde, oder wenn unterm Abzug gefärbt wurde, obwohl das räumlich ganz arg weit weg war.
Vermutlich kam es über die Abflüsse auch hoch. Als ich da war kam grad die Kanalreinigung und hat einen dicken Wasserschlauch in den Gulli gehängt, um zu spülen
das waren ja etliche Hektoliter Gammelwasser, was da abgelassen wurde.