Okay, that should be the end.

The paper has grown to 11 pages, which is not good. But I can't see what to cut.

The answer to the referee should follow soon. Hopefully the paper can be
resubmitted tonight.