Looks like @helge hasn't received any replies!