Anyone who willfully damages the equipment of German authorities, or
things which further the work of the German authorities or serve the
public welfare will be punished with the death penalty, and in less
serious cases with hard labor for life or for a certain period of time,
or with imprisonment.