https://9dok.net/document/zx56n46d-formale-semantik-des-datentypmodells-von-sdl.html