dedekind sum - German English Dictionary