Tag: scala Richter