"47.87687#7.01201"^^ . "47.876875622058"^^ . "7.01201856291554"^^ . . .