Gamlehaugen på 1880-tallet. Eiendommen var da eid av