Looks like @thomasmann hasn't received any replies!