Philips Research Laboratories, Royal Philips Electronics, High Tech Campus 34, 5656 AE, Eindhoven, The Netherlands