SS2017 - Prof. Dr. Jörg Wesche