( Petersenska huset ;.