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

@@ -28,7 +28,12 @@
     "osmTags": {
       "and": [
         "sport=climbing",
-        "leisure=sports_centre"
+        {
+          "or": [
+            "leisure=sports_centre",
+            "leisure=sports_hall"
+          ]
+        }
       ]
     }
   },
@@ -147,8 +152,8 @@
     {
       "id": "shoe_rental",
       "question": {
-        "en": "Can one rent climbing shoes here?",
+        "en": "Can one rent climbing shoes here to use in the gym?",
-        "nl": "Kunnen hier klimschoenen gehuurd worden?",
+        "nl": "Kunnen hier klimschoenen gehuurd worden voor gebruik in de zaal?",
         "fr": "Peut-on louer des chaussures d'escalade ici ?",
         "de": "Kann man hier Kletterschuhe ausleihen?",
         "pl": "Czy można tutaj wypożyczyć buty do wspinaczki?",
@@ -233,8 +238,8 @@
     {
       "id": "harness_rental",
       "question": {
-        "en": "Can one rent a climbing harness here?",
+        "en": "Can one rent a climbing harness here to use in the gym?",
-        "nl": "Kan een klimgordel hier gehuurd worden?",
+        "nl": "Kan hier een klimgordel gehuurd worden voor gebruik in de zaal?",
         "fr": "Peut-on louer un baudrier d'escalade ici ?",
         "de": "Kann man hier einen Klettergurt ausleihen?",
         "cs": "Lze si zde zapůjčit horolezecký postroj?",
@@ -242,8 +247,24 @@
       },
       "condition": {
         "or": [
-          "climbing:sport!=no",
+          {
-          "climbing:toprope!=no"
+            "and": [
+              "climbing:sport!=",
+              "climbing:sport!=no"
+            ]
+          },
+          {
+            "and": [
+              "climbing:toprope!=",
+              "climbing:toprope!=no"
+            ]
+          },
+          {
+            "and": [
+              "climbing:speed!=",
+              "climbing:speed!=no"
+            ]
+          }
         ]
       },
       "mappings": [
@@ -315,11 +336,110 @@
         }
       ]
     },
+    {
+      "id": "auto_belay_toprope",
+      "question": {
+        "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": [
+          "climbing:toprope!=",
+          "climbing:toprope!=no"
+        ]
+      },
+      "freeform": {
+        "key": "climbing:autobelay:toprope",
+        "type": "nat"
+      },
+      "mappings": [
+        {
+          "if": "climbing:autobelay:toprope=no",
+          "then": {
+            "en": "There are no auto belays for top roping",
+            "nl": "Er zijn geen autobelays voor toprope"
+          }
+        },
+        {
+          "if": "climbing:autobelay:toprope=yes",
+          "then": {
+            "en": "There are a number of auto belays for top roping",
+            "nl": "Er zijn enkele autobelays voor toprope"
+          }
+        },
+        {
+          "if": "climbing:autobelay:toprope=all",
+          "then": {
+            "en": "There is an auto belay for every top rope route but manual belaying is also possible",
+            "nl": "Elke toproperoute kan op autobelay geklommen worden maar handmatig zekeren is ook mogelijk"
+          }
+        },
+        {
+          "if": "climbing:autobelay:toprope=only",
+          "then": {
+            "en": "Top rope routes can only be climbed on auto belay",
+            "nl": "Toproperoutes kunnen enkel op autobelay geklommen worden"
+          }
+        }
+      ],
+      "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",
+      "question": {
+        "en": "Are there auto belays for lead climbing here?",
+        "nl": "Zijn hier autobelays voor voorklimmen?"
+      },
+      "condition": {
+        "and": [
+          "climbing:sport!=",
+          "climbing:sport!=no"
+        ]
+      },
+      "freeform": {
+        "key": "climbing:autobelay:sport",
+        "type": "nat"
+      },
+      "mappings": [
+        {
+          "if": "climbing:autobelay:sport=no",
+          "then": {
+            "en": "There are no auto belays for lead climbing",
+            "nl": "Er zijn geen autobelays voor voorklimmen"
+          }
+        },
+        {
+          "if": "climbing:autobelay:sport=yes",
+          "then": {
+            "en": "There is a number of auto belays for lead climbing",
+            "nl": "Er zijn enkele autobelays voor voorklimmen"
+          }
+        },
+        {
+          "if": "climbing:autobelay:sport=all",
+          "then": {
+            "en": "There is an auto belay for every lead climbing route",
+            "nl": "Elke voorklimroute kan op autobelay geklommen worden"
+          }
+        }
+      ],
+      "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",
       "question": {
-        "en": "Can one rent a belay device here?",
+        "en": "Can one rent a belay device here to use in the gym?",
-        "nl": "Kan een zekeringsapparaat hier gehuurd worden?",
+        "nl": "Kan hier een zekeringsapparaat gehuurd worden voor gebruik in de zaal?",
         "fr": "Peut-on louer un dispositif d'assurage ici ?",
         "de": "Kann man hier ein Sicherungsgerät ausleihen?",
         "cs": "Lze si zde půjčit jištění?",
@@ -327,8 +447,18 @@
       },
       "condition": {
         "or": [
-          "climbing:sport!=no",
+          {
-          "climbing:toprope!=no"
+            "and": [
+              "climbing:sport!=",
+              "climbing:sport!=no"
+            ]
+          },
+          {
+            "and": [
+              "climbing:toprope!=",
+              "climbing:toprope!=no"
+            ]
+          }
         ]
       },
       "mappings": [
@@ -422,8 +552,8 @@
     {
       "id": "rope_rental",
       "question": {
-        "en": "Can one rent a climbing rope here?",
+        "en": "Can one rent a climbing rope here to use in the gym?",
-        "nl": "Kan een klimtouw hier gehuurd worden?",
+        "nl": "Kan hier een klimtouw gehuurd worden voor gebruik in de zaal?",
         "fr": "Peut-on louer une corde d'escalade ici ?",
         "de": "Kann man hier ein Kletterseil ausleihen?",
         "cs": "Lze si zde půjčit lezecké lano?",

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": {
@@ -3069,7 +3103,7 @@
                         "then": "A belay device can <b>not</b> be rented here"
                     }
                 },
-                "question": "Can one rent a belay device here?"
+                "question": "Can one rent a belay device here to use in the gym?"
             },
             "harness_rental": {
                 "mappings": {
@@ -3086,7 +3120,7 @@
                         "then": "A climbing harness can <b>not</b> be rented here"
                     }
                 },
-                "question": "Can one rent a climbing harness here?"
+                "question": "Can one rent a climbing harness here to use in the gym?"
             },
             "name": {
                 "question": "What is the name of this climbing gym?"
@@ -3106,7 +3140,7 @@
                         "then": "A climbing rope can <b>not</b> be rented here"
                     }
                 },
-                "question": "Can one rent a climbing rope here?"
+                "question": "Can one rent a climbing rope here to use in the gym?"
             },
             "shoe_rental": {
                 "mappings": {
@@ -3123,7 +3157,7 @@
                         "then": "Climbing shoes can <b>not</b> be rented here"
                     }
                 },
-                "question": "Can one rent climbing shoes here?"
+                "question": "Can one rent climbing shoes here to use in the gym?"
             }
         },
         "title": {

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": {
@@ -3060,7 +3094,7 @@
                         "then": "Hier kan <b>geen</b> zekeringsapparaat gehuurd worden"
                     }
                 },
-                "question": "Kan een zekeringsapparaat hier gehuurd worden?"
+                "question": "Kan hier een zekeringsapparaat gehuurd worden voor gebruik in de zaal?"
             },
             "harness_rental": {
                 "mappings": {
@@ -3077,7 +3111,7 @@
                         "then": "Hier kunnen <b>geen</b> klimgordels gehuurd worden"
                     }
                 },
-                "question": "Kan een klimgordel hier gehuurd worden?"
+                "question": "Kan hier een klimgordel gehuurd worden voor gebruik in de zaal?"
             },
             "name": {
                 "question": "Wat is de naam van deze klimzaal?"
@@ -3097,7 +3131,7 @@
                         "then": "Hier kan <b>geen</b> klimtouw gehuurd worden"
                     }
                 },
-                "question": "Kan een klimtouw hier gehuurd worden?"
+                "question": "Kan hier een klimtouw gehuurd worden voor gebruik in de zaal?"
             },
             "shoe_rental": {
                 "mappings": {
@@ -3114,7 +3148,7 @@
                         "then": "Hier kunnen <b>geen</b> klimschoenen gehuurd worden"
                     }
                 },
-                "question": "Kunnen hier klimschoenen gehuurd worden?"
+                "question": "Kunnen hier klimschoenen gehuurd worden voor gebruik in de zaal?"
             }
         },
         "title": {