https://www.dict.cc/deutsch-englisch/Pulse+Tube+K%C3%BChler.html