clipped from: www.sei.berlin.de