5887 ) Rättens ombudsman.