"47.80317#7.31238"^^ . "47.80317"^^ . "7.31238910000002"^^ . . .