Kupplungssatz Seite 132 ^{2 490}