( 4023 ) Rättens ombudsman.