some moderate bugfixes (for {onlymusterloesung} and {onlytipssheet} environments); doc & demo updates