5 Juli hade don magredoktorn