Aurum Sevens, Hierbei für nüsse spielen, Echtgeld-Vorschlag Working Formal Methods Kolloquium 2019