https://www.dict.cc/englisch-deutsch/citizen+of+the+GDR.html