Il mangiatore di pietre (Der Steingänger)