1232 ) Rättens ombudsman.