https://www.dict.cc/englisch-deutsch/high+pressure+gas+discharge+lamp.html