Text this: A functional analytic approach to validated numerics for eigenvalues of delay equations.