"totally ordered" Deutsche bedeutung