f. d. Benckertsta gärden.