"47.73544#7.32086"^^ . "47.7354465309508"^^ . "7.32086018070368"^^ . . .