. "a German measure of a mile" . "a German measure of a mile" . .