( Cervinska huset . ')