ankomsten till Kristiania den 15 Juli.