3 Juni ; tjenstf.