2000 Jahre Mainz. Geschichte der Stadt - digital: CD-ROM [Service]