Prospects for hypernuclear physics at Mainz: From KAOS@MAMI to PANDA@FAIR