| English | Deutsch |
|---|---|
| usage | Sprachgebrauch |
| Attributes of the data type MineName | Attribute des Datentyps MineName |
| A boolean operator indicating if the value in mineName is the preferred name of the mine. | Ein Boolescher Operator, der anzeigt, ob der Wert in mineName der bevorzugte Name des Bergwerks ist. |
| Mine Name (MineName) | Name des Bergwerks (MineName) |
| Deutsch | English |
|---|---|
| Sprachgebrauch | usage |
| Attribute des Datentyps MineName | Attributes of the data type MineName |
| Ein Boolescher Operator, der anzeigt, ob der Wert in mineName der bevorzugte Name des Bergwerks ist. | A boolean operator indicating if the value in mineName is the preferred name of the mine. |
| Name des Bergwerks (MineName) | Mine Name (MineName) |