och armékommandots stora byggnad i Kristiania.