mann , Ploug , m . fl,