Hartmannsdorf Talsperre Lehnmühle, Dippoldiswalde