5780 ) Rättens ombudsman.