Several public area of Slovenia bear which person's name.