( f. d. Cervinska huset ).