"48.0712#6.88117"^^ . "48.0712021"^^ . "6.8811722"^^ . . .