"47.80839#5.4231"^^ . "47.808392"^^ . "5.4231052"^^ . . .