fästningens gymnastiksal i Kristiania.