5915 ) Rättens ombudsman.