What does Badeteich mean?

Badeteich - German to English

washing pond