Leak detected in pipeline that brings Russian oil to Germany