whitespace cleanup
Merge branch '3.0-design' of git://github.com/mapbender/mapbender into 3.0-design