@jschirrmacher I have no proof that this
will work, but it's easy to understand and simple to implement.