Algorithm Engineer Prof. Sanders erhält Leibniz-Preis