t. Hamburg ; den 7 : Juletrai,