// Richtung von Mitte zu verschobener Position des Roboters.
richtPosVer.sub(mitte);
if (richtPos.drehrichtung(richtPosVer)
== ((GrZahnr) rob.getEnvironmentEA().getPluginObject(
new GrZahnr().id())).isUhrzgrSinn()) {
GlobaleMARBVariablen.setRichtigeDrehRicht(
GlobaleMARBVariablen.getRichtigeDrehRicht() + 1);
return 1;
} else {
return -1;