Krylov-Veretennikov-Formel für Funktionale aus dem gestoppten Wiener Prozess