Verified integration of differential equations with discrete delay - Rauh Andreas (Szeged, 2022)