Start=Laurent-Reihe mit endlichem Hauptteil (formal)
Ziel=Körper/Laurent-Reihe/Endlicher Hauptteil/Definition
