It's been in the news (1) (2), but there's been no technical explanation, besides that it is a software bug on the chip.
Is there any further information on what kind of bug this is? A one-off bug, some number conversion problem or ...?
EDIT: Apparently the bug can be circumvented by modifing the terminals' software. I'd be nice to know, how this is done.