"48.06391#7.023"^^ . "48.0639148533091"^^ . "7.02300440429917"^^ . . . .