Das diagramm ist kommutativ!