Das hatte Anfang 2016 ein nicht registrierter Benutzer eingefügt, es wurde von Benutzer:Wilske gesichtet. Von einem F10 habe ich auch noch nichts gelesen oder gehört. Wenn Wilske auch nichts genaueres weiß, sollte das besser raus solang keine Quellen bekannt sind. -- Max schwalbe 23:32, 27. Apr. 2020 (CEST)