( Cervinska huset ).