Wie tief muss ein Miniteich sein?