"47.75726#7.35035"^^ . "47.7572691939321"^^ . "7.35035116407607"^^ . . .