Knecht Ruprecht und „Vom Himmel hoch“