Looks like @mfiedler hasn't received any replies yet!