Translation of "Ueber den grossen teich" in English