When was the crater named, and by whom? I doubt that it's NASA's business. -- Matthead discuß! O 10:19, 2 August 2007 (UTC)