the city of san josé - German English Dictionary