"infimum" Deutsche bedeutung