pocket borough - German English Dictionary