desse embetsman rnå få ersättning för de fria husrum de hittills begagnat i Operahuset.