Alte Buchen, Park Wilhelmshöhe