Exakte Locality-Gaps für zuweisbare Halbmatchings: Worst Case ist 1+1/(r+2) bei Lastkappe 2 – und auf Bäumen nicht zu übertreffen 1. Oktober 2026