city.desc.allendorf-bei-rudolstadt