sieht so aus, als müssten wir Berliner uns wirklich bald nach nem neuen Spitznamen fürs gute (und dann nicht mehr) alte Rostkreuz umsehen…