bigdcup entfernt, wir verwenden (JETZT) coprod...