discontinuous extension - German English Dictionary