"ceiling function" Deutsche bedeutung