RKI erklärt EHEC-Ausbruch für beendet