Weihrauch_125-4c_pfade_1_0
HW 90, Zfr.