Hi, does anyone know, what is this tool for? I found it in a vintage shaving set, so I suppose it is related to shaving. Thank you!