Det ikke videre pompøse kongeslot i Oslo.