https://www.dict.cc/deutsch-englisch/%5B2+WK+amerikanischer+Spitzname+der+deutschen+Sch%C3%BCtzenmine+42%5D.html