"48.87888#7.57848"^^ . "48.878889"^^ . "7.57848100000001"^^ . . .