4$ ) Rättens ombudsman.