innehåller den af senaten i den fria staden Hamburg garanterade stora pemiingutlottningen.