Oostende tijdens de Tweede Wereldoorlog. - Aanvullende gegevens