Henning Sprekeler is a computer scientist at Technische Universität Berlin.