Looks like @zahlenbotschaft hasn't received any replies!