On Tue, Jun 26, 2018 at 5:09 PM, Steffen Nurpmeso <steffen@sdaoden.eu> wrote:

 |Actually, I'm pretty sure his name is Bernstein.
​It is​.   Many pardons....