The high-resolution infrared spectrum of fully deuterated diacetylene below 1000 cm−1. (November 2015)