Duitse consumentenprijzen juli 0,2%