German © Zuse-Institute Berlin 2010 Imprint