Are Gerhart Hauptmann and Piers Anthony both German?