Ein EKF-SLAM-Algorithmus mit Konsistenzeigenschaften