{ .Bergen den 9 Juni.