revised version
added appendix of authentic2