"47.95392#5.33754"^^ . "47.953922"^^ . "5.33754754"^^ . . .