Warum gibt es rote und blaue Straßenschilder in Mainz?