Non-uglified version of script.js just for Matthias