San Germán — municipality in Puerto Rico