The Mauerschützenprozesse and the principle of nullum crimen sine lege