Looks like @mrichter hasn't received any replies!