"47.07644#5.40725"^^ . "47.0764452"^^ . "5.4072517"^^ . . .