Devil May Cry HD Collection: Release im November?