DIN439 (half high hex nut)