Hamburg (Germany). Senatsamt für den Verwaltungsdienst.