Taxa named by Hermann August Krauss