Fix #145 (German docs).