Germany's annual inflation slightly down in July