» [ 9792 .]