"hat die Deutsche Post festgelegt"? Quelle? Die Deutsche Post veröffentlicht quartalsweise alle Änderungen (PLZ-Änderungen, neue Straße, Straßennamenänderung usw) hier: https://www.deutschepost.de/de/d/deutsche-post-direkt/datafactory/download_postleitdaten.html. Da steht nichts von 37351.