Hochstadter Roter Berg, Pfalz