"47.07333#5.25938"^^ . "47.073339"^^ . "5.259384"^^ . . .