Steinriegler-Marsch = Steinriegler march = Le tailleur de pierre, marche