jQuery-UI Entwicklungs-Versionen durch Produktiv-Versionen (minfied) ersetzt

Das funktioniert leider nicht mit Tablesorter.
Merge branch 'master' into Feature