Normalisierung unter Verwendung von Normalformen