Historical quarter Jüdenstraße with library