Patron 20mm / HRD

Knuth