12 Juli IS ( * 4.