Ist reifendichtmittel Pflicht?