Text this: Public employee relations in West Germany