Thomashardt, Katzenbachtal, Öhlmühle, Thomashardt