"chain homotopy" Deutsche bedeutung