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.