Verbreitet um die 30 mm. Damit hat der Juli aufgeholt, aber es „fehlt“ immer noch etwas.