Героиню Хайнлайна по имени Фредерика друг называет именем заглавного героя рассказа английского писателя. Назовите этого героя.