Den gamle domaren flöt papperen åt sidan,