hofrätten , som måste afflytta från sin nuvarande embetslokal i Operahuset senast den 1 juli1891