Nå blir det tidligere hovedkvarteret til tyske Gestapo i Oslo fredet, deretter solgt: – Svært gledelig