Jelaskan Asal mula nama dari Baturraden, Banyumas

Istilah Baturraden sendiri berasal dari dongeng yang berkembang di masyarakat. Dahulu kala, ada seorang putra raja ("raden") yang mencintai seorang pembantu ("batur"). Namun oleh kedua orang tuanya tidak disetujui, dan mengakhiri hidupnya di tempat yang kini bernama "Baturraden".