https://9dok.net/document/qo5vg1ek-logik-in-der-informatik.html