Ny byggnd för hofrätten måste då uppföras,