4524 ) Rättens ombudsman.