5937 ) Rättens ombudsman.