Total factor productivity in the Federal Republic of Germany: (1970-1989). Results for mining and manufacturing industries