"47.91227#5.38147"^^ . "47.912272"^^ . "5.381477"^^ . . . .