Die {0}-Definitionen in der Signatur und in der Implementierung sind nicht kompatibel, weil dieser Typ laut Implementierung ...