Trondhjem den 17 Mai 1888.