Professur Medieninformatik
Professur Medieninformatik
Professur Medieninformatik 
console.log("'.(microtime(true)-$ts).'µs");'); }