More likely is that Minnie's original name was the German/Dutch Wilhelmina, which is about the only name for which Minnie is the "official" abbreviation (http://www.thinkbabynames.com/meaning/0/Minnie). Possibly, this fact was suppressed during the 1930s, as Germany became more unpopular due to its political and racial leanings.