From bd86ab8b521e5da68d901485faff6af06a121951 Mon Sep 17 00:00:00 2001
From: clerie <git@clerie.de>
Date: Sun, 21 Jul 2024 12:45:03 +0200
Subject: [PATCH] Remove leading zeros in bad id

---
 src/main.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/main.rs b/src/main.rs
index ba0e0ee..7e08567 100644
--- a/src/main.rs
+++ b/src/main.rs
@@ -53,7 +53,7 @@ async fn get_baeder_names() -> Result<HashMap<String, String>, String> {
 
     for c in r.captures_iter(baedernames_body.as_str()) {
         baedernames.insert(
-            c.get(1).unwrap().as_str().to_string(), // id
+            c.get(1).unwrap().as_str().trim_start_matches('0').to_string(), // id
             c.get(2).unwrap().as_str().to_string(), // name
         );
     }