A local name for the igneous rocks of Derbyshire, England; -- said by some to be derived from the German todter stein, meaning dead stone, that is, stone which contains no ores.