Codul poștal pentru Osman Dumitru, martir din Timişoara