Why was the main character's name localized as Butz...