A boundedness theorem for nearby slopes of holonomic ${\mathcal{D}}$-modules. (9th September 2016)