German translation of tipa documentation
