GDB ist doch auch eine Dateiendung.
- Klar, jede beliebige Buchstaben/Ziffernkombination kann als Dateiendung verwendet werden ;-) --TheRunnerUp 12:24, 18. Aug 2006 (CEST)
Und das zeichen "GdB", das ab und zu an tankstellen zu sehen ist/war? --Tobias b köhler 14:52, 4. Aug. 2009 (CEST)