"well-ordering" Deutsche bedeutung