Translation of "Accumulated benefit obligation" in German