SECTION 1. Joseph G. Demler Post Office.
Designation.— The facility of the United States Postal Service located at 104 East Main Street in Port Washington, Wisconsin, shall be known and designated as the “Joseph G. Demler Post Office”.
References.— Any reference in a law, map, regulation, document, paper, or other record of the United States to the facility referred to in subsection (a) shall be deemed to be a reference to the “Joseph G. Demler Post Office”.