You ever meet someone named Adolf? Sometimes names actually are no longer used after a particularly terrible person had that name.