Modules over regular local rings