"external sorting" Deutsche bedeutung