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