Update aufgterm.js