The Global Settings of WATO have been cleaned up a bit. The sections
have been renamed to be more self-explanatory. The order has been made more
useful. And some useless settings have been removed (they still keep working
if you have changed them from the defaults).
To the list of all Werks