Moet er nu een andere naam komen voor de Prins Bernhardstraten en -pleinen?