"mixed number" Deutsche bedeutung