5722 ) Rättens ombudsman.