Ditrichum punctulatum Mitten, 1879