Kamus istilah tehnik, bahasa Djerman, bahasa Indonesia