Vondel's Lucifer: translated from the Dutch