justitieombudsmannen der sin embetslokal , hvilken icke heller behöfver vara under riksdagshusets tak.