https://www.dict.cc/english-german/Command+of+the+Border+Troops+of+the+GDR.html