West-Duitse Ifo-index ondernemersklimaat juli 89,9 (91,3)