Whitespace hinter w.l.o.g. gefixt.
:= gegen \coloneqq ausgetauscht.