f. d. Dervelfta huset.