@clacke My head-math is each 100 HKD is 12€, which is also pretty easy to keep in mind. But as a semi-regular buyer of tea from HK, I need a better heuristic than 10-to-1 (-;