Weihrauch_125-4c_pfade_1_0
HW 77 K, Zfr., lam.