Nur wenn wir mit reinen Extensionen arbeiten,
kann das Gleichheitszeichen gelten.