"47.80318#5.42722"^^ . "47.8031819"^^ . "5.42722507"^^ . . .