Oudere vermelding: als 'tip-top', ingezonden stuk in de Java-bode 06-08-1873. Donkie (overleg) 6 jul 2020 16:53 (CEST)
