Das ist kein Nokia 9: HMD stellt auf einem Event das Nokia 5.1 Plus vor.