Start=Filter (N)

MDLUL/Filter (N)

Ziel=Natürliche Zahlen/Filter/Definition