Dust production 680-850 million years after the Big Bang - Michał J. Michałowski (2015)