Minor changes to designspec-protokoll
Various changes