endliche darstellbarkeit bearbeitet