Pressemitteilung: Richter am Bundesarbeitsgericht Horst-Dieter Krasshöfer im Ruhestand