They all laughed at Arjen Lucassen. It was the mid-’90s, and nobody was doing rock opera anymore — not with grunge and its Doc Martens kicking anything that smacked of self-indulgence off the charts and out of record company boardrooms. ►