Vielleicht stammt der Name Hildburg von dem mittelalterlichen Heldenepos Gudrunsage, da es auch einen Astereoiden Gudrun gibt?