"48.42678#5.13939"^^ . "48.4267832"^^ . "5.1393965"^^ . . .