@nilshuber: A friend of mine