Known as: washer / washer 4 mm