Roter 3DS bald in Deutschland?

Nachdem in den USA der rote Nintendo 3DS seit heute zu haben ist und er in Australien für den 22. September angekündigt wurde, scheint auch ein Release in deutschen Gefilden nicht mehr in allzu weiter Ferne zu liegen.
Eine offizielle Ankündigung steht zwar noch aus, aber der Internet-Versandhändler amazon.de hat ihn schon in sein Sortiment integriert. Dort kann man ihn zwar noch nicht bestellen, aber es ist davon auszugehen, dass Nintendo den Release sicherlich bald offiziell bestätigen wird.