Theetuin de Peppel is opgeheven.