Trondhjem den 2 Juni 1894.