Salg av Trekanttomta, Oslo