Artok a pseudonym of Windsperger according to "Catalog of Copyright Entries 1952" etc., generally a reasonably reliable source (I assume because people registering under pseudonyms noted both pseud. and real names on a legal form, most of the time. This is from a renewal entry noting things posthumously, of course, and scanned by archive.org.). Some sources give date of death as 20 May. VIAF also notes that Ludwig Artok (some of whose works and arrangements are mentioned in HMB, and which could also be a disambiguation of "L. Artok"...) was an alias of Windsperger's.