Effiziente Redundanzminimierung in 3D-Punktewolken für präzise Echtzeit-Positionsbestimmung von Robotern.