Title: War songs of the Germans