6812 ) Rättens ombudsman.