oops - here the updated TEX-files