"47.94611#7.28729"^^ . "47.9461118675711"^^ . "7.28729310527954"^^ . . .