Looks like @wolfran hasn't received any replies!