add wohldefiniertheits

This commit is contained in:
2019-11-21 08:33:06 +01:00
parent 482802ee2a
commit 02e93ac868
2 changed files with 10 additions and 3 deletions
Binary file not shown.