Rosa 1870–1919 German socialist leader