Did you know that John Mastodon is the nom de plume of the German Johannes Mastadon?