Die deutschen Arbeiter in der Revolution von 1848.