Leibniz-Institut fur Analytische Wissenschaften