final byte[] header=new byte[]{
0x52,0x49,0x46,0x46,
(byte)(maxlen),
(byte)(maxlen>>>8),
(byte)(maxlen>>>16),
(byte)(maxlen>>>24),
0x57,0x41,0x56,0x45,0x66,0x6D,0x74,0x20,
0x10,0x00,0x00,0x00,0x01,0x00,0x02,0x00,
0x44,(byte)0xAC,0x00,0x00,0x10,(byte)0xB1,0x02,0x00,
0x04,0x00,0x10,0x00,0x64,0x61,0x74,0x61,
(byte)(maxlen36),
(byte)(maxlen36>>>8),
(byte)(maxlen36>>>16),
(byte)(maxlen36>>>24),
};
// dabei gilt maxlen36=maxlen-36;