Ich bitte um Quellenangabe für die Herkunft des Namens. Die ungarische Wikipedia schreibt hier was anderes und die dort zitierte Quelle ist nicht verfügbar. -- <span style="color:blue">murli</span> 22:35, 21. Sep. 2008 (CEST)