Роберт Энглунд в роли Фредди Крюгера: история персонажа