Arrangements of ideal type are inductively free. - Michael Cuntz; Gerhard Röhrle; Anne Schauenburg (Int. J. Algebra Comput., 2019)