"47.8888#6.75607"^^ . "47.888805"^^ . "6.756073"^^ . . .