"48.23415#6.89117"^^ . "48.2341595"^^ . "6.89117450000003"^^ . . .