Merge branch 'master' of dbgit.prakinf.tu-ilmenau.de:code/nvm-based_data_structures

3 jobs for master in 6 minutes and 7 seconds