Taxa named by Ottmar Hofmann