"47.81964#6.37787"^^ . "47.8196467"^^ . "6.37787702"^^ . . .