degmann:ℝ