"47.86556#7.35276"^^ . "47.8655621078212"^^ . "7.35276639461517"^^ . . .