Батильда вполне реальное имя. Была даже франкская королева Батильда, канонизированная Католической церковью. Нимфадора с Порпентиной - странные, да. ))) Но в интернете они есть, с объяснениями происхождения.