the crater is named after karl theodor robert luther