The jolly coppersmith (Веселый кузнец) (Der kreuzfideler Kupferschmied), march