Ok, got it now. I don't know if this is a real difference or just a problem of the UI.
The key was to turn on averaging, too. On 1kHz, 100us time base, average = 2, there is a remarkable difference in the amplitude of the signal, depending if the AA is on or off. (The values with AA off seem to be correct.)
By the way, I noticed that since v01.00.00.03, the Quick Print files are called DS2... instead of DSX... and there is a header with the model number, serial, date and time on top. So far, I couldn't figure out a way to switch it off. Is this new with v01.00.00.03?
XaS