"48.07906#7.35843"^^ . "48.07906305"^^ . "7.35843542"^^ . . .