Regjeringskvartalet: Teatergata 9