Looks like @henning hasn't received any replies!