Thanks for looking into this. YES! ... your key (all by itself in a keydb file) allows
2001:ASO to work just fine!
I went back to
http://fvonline-db.bplaced.net/ and re-downloaded the up-to-date keys file (2019-05-10 21:46:14), the English link (most entries), tried it again, and ...
2001:ASO failed. So there definitely is something wrong with our "official" keys file. I also stepped back 2 update files (in March and April) and tried both and
2001:ASO failed with both. So this is a problem for who-knows-how-long.
Is there a program that can verify an entire file for proper structure?