25 Juli ; tjenstf.