"47.72685#7.34531"^^ . "47.7268554797532"^^ . "7.34531864689643"^^ . . .