"47.80785#5.19415"^^ . "47.807851"^^ . "5.194151"^^ . . .