Stefan Banach in names-generator

Signed-off-by: Tomasz Nurkiewicz <nurkiewicz@gmail.com>
Merge pull request #9813 from nurkiewicz/banach

Stefan Banach in names-generator