Målet gällde en skattefri bonus för gruvarbetare och rörde egentligen tolkningen av artikel 4 c ) i Kol- och Stålfördraget .