MDLUL/endlicher Morphismus (Varietät)