Kristiania den 17 juni 1880.