Woher stammt das Lied "Die Fahne hoch"?