Verbraucherpreisindizes für alle Gütergruppen In Deutschland, Juli 2020