Darmstädterin (Darmstädter + -in; agent_person)
in Darmstadt geborene oder dort auf Dauer lebende weibliche Person