Trier wird wieder Großstadt: 100 000-Einwohner-Grenze überschritten