Analysis für Informatiker: Vorlesung (Mo, 13.01.2020)