The proportionality principle in German and European rules of industrial conflict