ToNumberLineMapper hinzugefügt