Dettenhausen, Weil Im Schönbuch, Totenbachmühle