Autodesk übernimmt MaintainX für 3,6 Milliarden US-Dollar in einem Bar-Deal.