Doppelringschlüssel DIN 838, 13 x 15 mm