Edit: It evaluate to `document.write('HIS_EMAIL at gmail')`
The vast majority of crawlers aren't that smart, headless browsers used to be painfully slow so no one used them.
In fact doing so probably violates the halting problem somehow.
If your server is configured for a low number of concurrent connections, it can easily seem swamped if a small number of people are concurrently downloading a large file slowly. All that's happening is that it's not accept()ing new connections until existing ones finish.
It's a java application with XLST in the page rendering pipeline, so not exactly optimised for speed.
A 72MB file being served 500,000 times over a 24hr period is 3-4Gb/sec.
The department probably has one or more web servers serving content off a network drive. Your average "rack of network storage" won't even blink at that.
There was probably a gigabit switch somewhere or that was being a bottleneck or the web server was simply misconfigured for this task.
What brought down the website?
The Greys.