A talk at Hack.lu 2008 and Dagstuhl in 2010 based on the following paper: http://drops.dagstuhl.de/opus/volltexte/2010/2401/