The Guinness World record was credited to which production designer