My mail client has secretly updated the file while I was carrying out
the experiment; the attached version should be the one before refreshing.

Andreas