Improving the Energy Efficiency of a Mine Drainage Installation by Means of an Industrial Electric Drive | IEEE Conference Publication | IEEE Xplore