Schwimmbad Hauenstein, Pfalz