optional or non-mandatory provision - German English Dictionary