Der große Zwerg und andere Geschichten - Hohler, Franz