@techreport{Umlauf2020, author = {Georg Umlauf}, title = {Report of Prof. Dr. Georg Umlauf's Research Sabbatical, WS 2019/20}, institution = {Fakult{\"a}t Informatik}, pages = {6}, year = {2020}, }