Definiton der Decktransformationsgruppe