rummet , hvari högstdensamme Karl Johan skulle ligga , undergått en kostsam reparation.