1954 World Cup: German and Hungarian anthems