Full threadpmlnr·On the currency debate: I'd always assume local currency. I doubt any of these are in USD, unless stated; the default, in this case, is EUR - or indicate.View on HN