Bland de offentliga byggnader i Stockholm,