f. d. Svedenborgska lustparken.