f. d. Benckertska gärden.