Looks like @gerhard hasn't received any replies!