Code:
#include "RP6RobotBaseLib.h"

int main (void) 
  {
  initRobotBase();
  powerON();
  task_RP6System();
  uint16_t s_left = mleft_dist; 
  move(80, FWD, DIST_MM(200), true);
  task_RP6System();
  uint16_t s = mleft_dist - s_left;
  move(80, BWD, DIST_MM(s * 0.2512), true);
  while (true)
    {
	task_RP6System();
	}
  return 0;
  }
Danke. Also muss ich das Ergebnis mal 0.2512 nehmen. So geht es auch. Das ist ja ungefähr das 4fache.