as juli inträffa i Kristiania.