Start=endlich (Ring)

MDLUL/endlich (Ring)

Ziel=Ring/Endlich/Definition