Fixed a ton of style bugs...
bits and pieces
Merge branch 'master' of robinson.informatik.uni-bremen.de:awe04