"47.80712#6.34757"^^ . "47.8071248"^^ . "6.34757779"^^ . . .