7234 ) Rättens Ombudsman.