Looks like @bengt hasn't received any replies!