jernivägsanläggning i den gamla staden Oslo , i närheten af Kristiania.