Duitse werkloosheid juli 9,7% (9,5%); voor correctie