Trondhjem den 9 Juni 1888.