Kristiania den 3 juli 1880.