Their names are Thunder and Lightning. Whether in dutch "Donder & Bliksem" or in German "Donner & Blitzen" just anglicized pronunciation. It's whatever is most heartwarming to you.