Thanks for the translation, I'd forgotten about this one. ^_^
Minor note: I suspect the name of the demon king at the end is intended to be "Nachtigall", which is German for "nightingale".
Source: my city choir director is fond of the song "Die Nachtigall", so we've sung it a few times over the years.
