Weihrauch_125-4c_pfade_1_0
HW 57, quer, 10-2021