DBs.tex TODO

- added that we haven't tested the settings of the proprietary dbs so far
- s/IMB/IBM