"priority queue" Deutsche bedeutung