benämningen » det gamla universitetshuset ».