https://9dok.net/document/z1d48193-humboldt-universit-at-zu-berlin-institut-ur-informatik.html