IMPLEMENTATION OF HOLLOW ELECTRON LENSES IN AND FIRST SIMULATION RESULTS FOR THE HL-LHC ∗ †