Hamburg’s martial law