panzerlied - german military song/translation and historical context