Did Hedge Funds and Insiders Love Gardner Denver, Inc. (GDI)?