That explains it! Thanks!

As you say, it is in any case a fascinating piece of history.