https://9dok.net/document/qo5vgvx5-semantik-testen-verifikation.html