Theme(climbing): Recognize leisure=sports_hall

This commit just adds support to recognize `leisure=sports_hall`, it
doesn't add a preset. Imo `leisure=sports_hall` vs
`leisure=sports_centre` looks like a hot mess in many cases (there are
several forum threads about this question) and we shouldn't
bother MapComplete users with this when they want to add a climbing gym.

But there's one clear case where I'd even like to add this tag myself
(with JOSM): on halls within a larger sports_centre.
Sport Vlaanderen Brugge and Sportoase Leuven come to mind.

assets/layers/climbing_gym/climbing_gym.json

@@ -339,8 +339,12 @@
     {
       "id": "auto_belay_toprope",
       "question": {
-        "en": "Are there auto belays for top roping here? (Excluding those for speed)",
-        "nl": "Zijn hier auto belays voor toprope? (Niet die voor speed)"
+        "en": "Are there auto belays for top roping here?",
+        "nl": "Zijn hier auto belays voor toprope?"
+      },
+      "questionHint": {
+        "en": "Excluding auto belays that are only for speed climbing",
+        "nl": "Autobelays die enkel voor speed zijn, tellen niet mee"
       },
       "condition": {
         "and": [
@@ -380,15 +384,12 @@
             "en": "Top rope routes can only be climbed on auto belay",
             "nl": "Toproperoutes kunnen enkel op autobelay geklommen worden"
           }
-        },
-        {
-          "if": "climbing:autobelay:toprope~[0-9]+",
-          "then": {
-            "en": "There are {climbing:autobelay:toprope} auto belay devices for top roping",
-            "nl": "Er zijn {climbing:autobelay:toprope} autobelaytoestellen voor toprope"
-          }
         }
-      ]
+      ],
+      "render": {
+        "en": "There are {climbing:autobelay:toprope} auto belay devices for top roping",
+        "nl": "Er zijn {climbing:autobelay:toprope} autobelaytoestellen voor toprope"
+      }
     },
     {
       "id": "auto_belay_lead",
@@ -427,15 +428,12 @@
             "en": "There is an auto belay for every lead climbing route",
             "nl": "Elke voorklimroute kan op autobelay geklommen worden"
           }
-        },
-        {
-          "if": "climbing:autobelay:sport~[0-9]+",
-          "then": {
-            "en": "There are {climbing:autobelay:sport} auto belays for lead climbing",
-            "nl": "Er zijn {climbing:autobelay:sport} autobelays voor voorklimmen"
-          }
         }
-      ]
+      ],
+      "render": {
+        "en": "There are {climbing:autobelay:sport} auto belays for lead climbing",
+        "nl": "Er zijn {climbing:autobelay:sport} autobelays voor voorklimmen"
+      }
     },
     {
       "id": "belay_device_rental",

langs/layers/en.json

@@ -3051,6 +3051,40 @@
                 },
                 "question": "Is there a speed climbing wall?"
             },
+            "auto_belay_lead": {
+                "mappings": {
+                    "0": {
+                        "then": "There are no auto belays for lead climbing"
+                    },
+                    "1": {
+                        "then": "There is a number of auto belays for lead climbing"
+                    },
+                    "2": {
+                        "then": "There is an auto belay for every lead climbing route"
+                    }
+                },
+                "question": "Are there auto belays for lead climbing here?",
+                "render": "There are {climbing:autobelay:sport} auto belays for lead climbing"
+            },
+            "auto_belay_toprope": {
+                "mappings": {
+                    "0": {
+                        "then": "There are no auto belays for top roping"
+                    },
+                    "1": {
+                        "then": "There are a number of auto belays for top roping"
+                    },
+                    "2": {
+                        "then": "There is an auto belay for every top rope route but manual belaying is also possible"
+                    },
+                    "3": {
+                        "then": "Top rope routes can only be climbed on auto belay"
+                    }
+                },
+                "question": "Are there auto belays for top roping here?",
+                "questionHint": "Excluding auto belays that are only for speed climbing",
+                "render": "There are {climbing:autobelay:toprope} auto belay devices for top roping"
+            },
             "belay_device_rental": {
                 "mappings": {
                     "0": {

langs/layers/nl.json

@@ -3042,6 +3042,40 @@
                 },
                 "question": "Is er een snelklimmuur (speed climbing)?"
             },
+            "auto_belay_lead": {
+                "mappings": {
+                    "0": {
+                        "then": "Er zijn geen autobelays voor voorklimmen"
+                    },
+                    "1": {
+                        "then": "Er zijn enkele autobelays voor voorklimmen"
+                    },
+                    "2": {
+                        "then": "Elke voorklimroute kan op autobelay geklommen worden"
+                    }
+                },
+                "question": "Zijn hier autobelays voor voorklimmen?",
+                "render": "Er zijn {climbing:autobelay:sport} autobelays voor voorklimmen"
+            },
+            "auto_belay_toprope": {
+                "mappings": {
+                    "0": {
+                        "then": "Er zijn geen autobelays voor toprope"
+                    },
+                    "1": {
+                        "then": "Er zijn enkele autobelays voor toprope"
+                    },
+                    "2": {
+                        "then": "Elke toproperoute kan op autobelay geklommen worden maar handmatig zekeren is ook mogelijk"
+                    },
+                    "3": {
+                        "then": "Toproperoutes kunnen enkel op autobelay geklommen worden"
+                    }
+                },
+                "question": "Zijn hier auto belays voor toprope?",
+                "questionHint": "Autobelays die enkel voor speed zijn, tellen niet mee",
+                "render": "Er zijn {climbing:autobelay:toprope} autobelaytoestellen voor toprope"
+            },
             "belay_device_rental": {
                 "mappings": {
                     "0": {