Trondhjem den 13 Juni 1894.