studenthem ) ; professor W. Rudin samt f. bergmästaren J.