work around inconsistent platform / platformName patterns

Probably not perfect, but duisburg, düsseldorf, essen look fine.