Trondhjem den 9 Juni 1888 , ( G.