Approval in frontend

frontend/ar/basis.json

@@ -118,6 +118,8 @@
         "watchlist_is_client_side": "Your watch list is stored exclusively in your browser. This means that will not be sent to the server unless you search for it or share it otherwise. If you however choose to empty your browser cache, the watch list will be lost. To be able to continue to work with the same watch list even after emptying the cache, you may use buttons below to export the watch list and import from the same file later on.",
         "calculate_distance_to_current_location": "Calculate distance to your current location",
         "getting_position": "Getting your position",
-        "km_away": "km away from you"
+        "km_away": "km away from you",
+        "tools": "Tools\r\n",
+        "portals": "Portals"
     }
 }